1. Teaching and learning formal methods
Author: / edited by C. Neville Dean and Michael G. Hinchey
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software -- Development -- Study and teaching,System design -- Study and teaching
Classification :
QA
76
.
9
.
S88T4
1996
